State of the art verification methodologies in 2015
نویسندگان
چکیده
In the last few years, the industry has seen acceleration in the evolution of verification methodologies. While the industry focus has been on enabling a standard based approach to help today's challenges, one can wonder what is needed to prepare us self for the further verification challenges. The expert panelist will discuss the many aspects of verification methodologies, the requirements and predictions for verification methodologies needed 4-5 years from now on.
منابع مشابه
Method integration: An approach to develop agent oriented methodologies
Agent oriented software engineering (AOSE) is an emerging field in computer science and proposes some systematic ideas for multi agent systems analysis, implementation and maintenance. Despite the various methodologies introduced in the agent-oriented software engineering, the main challenges are defects in different aspects of methodologies. According to the defects resulted from weaknesses ...
متن کاملOn the State of the Art in Verification and Validation in Cyber Physical Systems
It is widely held that debugging cyber-physical systems (CPS) is challenging. However, few empirical studies quantitatively and qualitatively capture the state of the art and the state of the practice in debugging CPS and analyze what major research gaps remain. This paper presents an empirical study of verification and validation in CPS through three complementary methods: a structured on-line...
متن کاملAssessment and Monitoring for Railway Tracks Reliability and Safety using Nondestructive Testing Measurement Systems
The deterioration of railway tracks raises great concerns about the integrity of assessments and evaluations of railway tracks currently in service. Integrated inspection strategies coupled with innovations in inspection technology can lead to significant improvements in operational cost efficiency and reliability without the requirement of a fundamental shift in the existing understanding o...
متن کاملبررسی وضعیت پایگاه اطلاعات آنتروپومتریک در ایران : مطالعه مروری
Background and aims: Access to an Anthropometric database is essential for human-centered design. Several Iranian researchers preceded their studies with the aim of collecting useful data for designing workstations. The present study aims to review all of these related studies in order to introduce the state of the art and help to clarify future studies. Methods: Databanks of Google sc...
متن کاملReview of Damage Tolerant Analysis of Laminated Composites
With advanced composites increasing replacing traditional metallic materials, the material inhomogeneity and inherent anisotropy of such materials lead to not only new attributes for aerospace structures, but also introduce new technology to damage tolerant design and analysis. The deleterious effects of changes in material properties and initiation and growth of structural damage must be addre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011